Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
191	Cell: ([removed]E-mail: [removed] Homepage: http://cadlab.cs.ucla.edu/~kirill/ Current Address: 5400 Lindley Ave #103 Encino, CA 91316 Add to Reading List Source URL: cadlab.cs.ucla.edu Language: English - Date: 2010-03-01 17:22:48 Fabless semiconductor companies Field-programmable gate array Jason Cong Logic synthesis Altera Application-specific integrated circuit Special Interest Group on Design Automation Computing with Memory Synplicity Electronic engineering Electronics Digital electronics
192	Quartus II Integrated Synthesis Add to Reading List Source URL: www.altera.com Language: English - Date: 2013-12-02 03:56:37 VHDL Verilog Logic synthesis E Application-specific integrated circuit High-level synthesis C to HDL Electronic engineering Hardware description languages Altera Quartus
193	Dynamic and Interactive Synthesis of Code Snippets Joel Galenson Electrical Engineering and Computer Sciences University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-08-20 12:32:51 Mathematical logic Theoretical computer science Tree Computer music C Source code Software bug Computing Software engineering Algorithm
194	Reap Rewards by Minimizing Risk: Altera’s Strategies for Delivering the Benefits of the 65-nm Process Node Add to Reading List Source URL: www.altera.com Language: English - Date: 2006-09-13 19:11:12 Altera Electronic design automation Digital electronics Integrated circuits Field-programmable gate array TSMC Logic synthesis 65 nanometer Application-specific integrated circuit Electronic engineering Electronics Fabless semiconductor companies
195	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
196	EVALUATING COMMUNITY COLLABORATIONS: A RESEARCH SYNTHESIS Prepared for: Assistant Secretary for Planning and Evaluation Add to Reading List Source URL: www.mefassociates.com Language: English - Date: 2012-06-05 09:47:40 Sociology Impact assessment Impact evaluation Observational study Philosophy of science Logic model Program evaluation Empowerment evaluation Evaluation Evaluation methods Science
197	1 A Contract-Based Methodology for Aircraft Electric Power System Design Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donz´e, Sanjit A. Seshia Add to Reading List Source URL: www.aero.umd.edu Language: English - Date: 2014-08-25 12:01:26 Electromagnetism Temporal logic Electronic design Systems engineering Linear temporal logic Reliability engineering Control theory Topology High-level synthesis Electronic engineering Design Electronic design automation
198	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]________________ Amendment No. 4 to FORM 10-K Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:57 Electronic design Digital electronics Integrated circuits Synopsys Timing closure Integrated circuit design High-level synthesis Logic synthesis Physical design Electronic engineering Electronic design automation Electronics
199	2001 Annual Report momentum 15 years Celebrating 15 Years of Excellence Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:07 Electronic design Integrated circuits Digital electronics Synopsys Timing closure Integrated circuit design Physical design Logic synthesis High-level synthesis Electronic engineering Electronic design automation Electronics
200	Corporate Backgrounder Summer 2014 Synopsys Overview and History Synopsys, Inc. (Nasdaq:SNPS) provides products and services that accelerate innovation in the global electronics market. As a leader in electronic design Add to Reading List Source URL: www.synopsys.com Language: English Electronic design Hillsboro Oregon Synopsys Integrated circuits Signoff High-level synthesis Logic synthesis Integrated circuit design Xilinx Electronic engineering Electronic design automation Electronics

UPDATE